3.3028 \(\int \frac {1}{(a+b x)^3 \sqrt [3]{c+d x} \sqrt [3]{b c+a d+2 b d x}} \, dx\)

Optimal. Leaf size=1558 \[ -\frac {2 \tan ^{-1}\left (\frac {2 b^{2/3} (c+d x)^{2/3}}{\sqrt {3} \sqrt [3]{b c-a d} \sqrt [3]{b c+a d+2 b d x}}+\frac {1}{\sqrt {3}}\right ) d^2}{\sqrt {3} b^{2/3} (b c-a d)^{8/3}}+\frac {\sqrt [4]{3} \sqrt {2-\sqrt {3}} \sqrt [3]{(c+d x) (b c+a d+2 b d x)} \sqrt {\left (4 b x d^2+(3 b c+a d) d\right )^2} \left ((b c-a d)^{2/3}+2 \sqrt [3]{b} \sqrt [3]{(c+d x) (a d+b (c+2 d x))}\right ) \sqrt {\frac {(b c-a d)^{4/3}-2 \sqrt [3]{b} \sqrt [3]{(c+d x) (a d+b (c+2 d x))} (b c-a d)^{2/3}+4 b^{2/3} ((c+d x) (a d+b (c+2 d x)))^{2/3}}{\left (\left (1+\sqrt {3}\right ) (b c-a d)^{2/3}+2 \sqrt [3]{b} \sqrt [3]{(c+d x) (a d+b (c+2 d x))}\right )^2}} E\left (\sin ^{-1}\left (\frac {\left (1-\sqrt {3}\right ) (b c-a d)^{2/3}+2 \sqrt [3]{b} \sqrt [3]{(c+d x) (a d+b (c+2 d x))}}{\left (1+\sqrt {3}\right ) (b c-a d)^{2/3}+2 \sqrt [3]{b} \sqrt [3]{(c+d x) (a d+b (c+2 d x))}}\right )|-7-4 \sqrt {3}\right ) d^2}{b^{2/3} (b c-a d)^{7/3} \sqrt [3]{c+d x} \sqrt [3]{b c+a d+2 b d x} (3 b c+a d+4 b d x) \sqrt {d^2 (3 b c+a d+4 b d x)^2} \sqrt {\frac {(b c-a d)^{2/3} \left ((b c-a d)^{2/3}+2 \sqrt [3]{b} \sqrt [3]{(c+d x) (a d+b (c+2 d x))}\right )}{\left (\left (1+\sqrt {3}\right ) (b c-a d)^{2/3}+2 \sqrt [3]{b} \sqrt [3]{(c+d x) (a d+b (c+2 d x))}\right )^2}}}-\frac {2 \sqrt {2} \sqrt [3]{(c+d x) (b c+a d+2 b d x)} \sqrt {\left (4 b x d^2+(3 b c+a d) d\right )^2} \left ((b c-a d)^{2/3}+2 \sqrt [3]{b} \sqrt [3]{(c+d x) (a d+b (c+2 d x))}\right ) \sqrt {\frac {(b c-a d)^{4/3}-2 \sqrt [3]{b} \sqrt [3]{(c+d x) (a d+b (c+2 d x))} (b c-a d)^{2/3}+4 b^{2/3} ((c+d x) (a d+b (c+2 d x)))^{2/3}}{\left (\left (1+\sqrt {3}\right ) (b c-a d)^{2/3}+2 \sqrt [3]{b} \sqrt [3]{(c+d x) (a d+b (c+2 d x))}\right )^2}} \operatorname {EllipticF}\left (\sin ^{-1}\left (\frac {\left (1-\sqrt {3}\right ) (b c-a d)^{2/3}+2 \sqrt [3]{b} \sqrt [3]{(c+d x) (a d+b (c+2 d x))}}{\left (1+\sqrt {3}\right ) (b c-a d)^{2/3}+2 \sqrt [3]{b} \sqrt [3]{(c+d x) (a d+b (c+2 d x))}}\right ),-7-4 \sqrt {3}\right ) d^2}{\sqrt [4]{3} b^{2/3} (b c-a d)^{7/3} \sqrt [3]{c+d x} \sqrt [3]{b c+a d+2 b d x} (3 b c+a d+4 b d x) \sqrt {d^2 (3 b c+a d+4 b d x)^2} \sqrt {\frac {(b c-a d)^{2/3} \left ((b c-a d)^{2/3}+2 \sqrt [3]{b} \sqrt [3]{(c+d x) (a d+b (c+2 d x))}\right )}{\left (\left (1+\sqrt {3}\right ) (b c-a d)^{2/3}+2 \sqrt [3]{b} \sqrt [3]{(c+d x) (a d+b (c+2 d x))}\right )^2}}}-\frac {2 \log (a+b x) d^2}{3 b^{2/3} (b c-a d)^{8/3}}+\frac {\log \left (\frac {b^{2/3} (c+d x)^{2/3}}{\sqrt [3]{b c-a d}}-\sqrt [3]{b c+a d+2 b d x}\right ) d^2}{b^{2/3} (b c-a d)^{8/3}}+\frac {2 (c+d x)^{2/3} (b c+a d+2 b d x)^{2/3} d}{(b c-a d)^3 (a+b x)}-\frac {(c+d x)^{2/3} (b c+a d+2 b d x)^{2/3}}{2 (b c-a d)^2 (a+b x)^2}-\frac {2 \sqrt [3]{(c+d x) (b c+a d+2 b d x)} \sqrt {d^2 (3 b c+a d+4 b d x)^2} \sqrt {\left (4 b x d^2+(3 b c+a d) d\right )^2}}{b^{2/3} (b c-a d)^3 \sqrt [3]{c+d x} \sqrt [3]{b c+a d+2 b d x} (3 b c+a d+4 b d x) \left (\left (1+\sqrt {3}\right ) (b c-a d)^{2/3}+2 \sqrt [3]{b} \sqrt [3]{(c+d x) (a d+b (c+2 d x))}\right )} \]

[Out]

-1/2*(d*x+c)^(2/3)*(2*b*d*x+a*d+b*c)^(2/3)/(-a*d+b*c)^2/(b*x+a)^2+2*d*(d*x+c)^(2/3)*(2*b*d*x+a*d+b*c)^(2/3)/(-
a*d+b*c)^3/(b*x+a)-2/3*d^2*ln(b*x+a)/b^(2/3)/(-a*d+b*c)^(8/3)+d^2*ln(b^(2/3)*(d*x+c)^(2/3)/(-a*d+b*c)^(1/3)-(2
*b*d*x+a*d+b*c)^(1/3))/b^(2/3)/(-a*d+b*c)^(8/3)-2/3*d^2*arctan(1/3*3^(1/2)+2/3*b^(2/3)*(d*x+c)^(2/3)/(-a*d+b*c
)^(1/3)/(2*b*d*x+a*d+b*c)^(1/3)*3^(1/2))/b^(2/3)/(-a*d+b*c)^(8/3)*3^(1/2)-2*((d*x+c)*(2*b*d*x+a*d+b*c))^(1/3)*
(d^2*(4*b*d*x+a*d+3*b*c)^2)^(1/2)*((d*(a*d+3*b*c)+4*b*d^2*x)^2)^(1/2)/b^(2/3)/(-a*d+b*c)^3/(d*x+c)^(1/3)/(2*b*
d*x+a*d+b*c)^(1/3)/(4*b*d*x+a*d+3*b*c)/(2*b^(1/3)*((d*x+c)*(a*d+b*(2*d*x+c)))^(1/3)+(-a*d+b*c)^(2/3)*(1+3^(1/2
)))-2/3*d^2*((d*x+c)*(2*b*d*x+a*d+b*c))^(1/3)*((-a*d+b*c)^(2/3)+2*b^(1/3)*((d*x+c)*(a*d+b*(2*d*x+c)))^(1/3))*E
llipticF((2*b^(1/3)*((d*x+c)*(a*d+b*(2*d*x+c)))^(1/3)+(-a*d+b*c)^(2/3)*(1-3^(1/2)))/(2*b^(1/3)*((d*x+c)*(a*d+b
*(2*d*x+c)))^(1/3)+(-a*d+b*c)^(2/3)*(1+3^(1/2))),I*3^(1/2)+2*I)*2^(1/2)*((d*(a*d+3*b*c)+4*b*d^2*x)^2)^(1/2)*((
(-a*d+b*c)^(4/3)-2*b^(1/3)*(-a*d+b*c)^(2/3)*((d*x+c)*(a*d+b*(2*d*x+c)))^(1/3)+4*b^(2/3)*((d*x+c)*(a*d+b*(2*d*x
+c)))^(2/3))/(2*b^(1/3)*((d*x+c)*(a*d+b*(2*d*x+c)))^(1/3)+(-a*d+b*c)^(2/3)*(1+3^(1/2)))^2)^(1/2)*3^(3/4)/b^(2/
3)/(-a*d+b*c)^(7/3)/(d*x+c)^(1/3)/(2*b*d*x+a*d+b*c)^(1/3)/(4*b*d*x+a*d+3*b*c)/(d^2*(4*b*d*x+a*d+3*b*c)^2)^(1/2
)/((-a*d+b*c)^(2/3)*((-a*d+b*c)^(2/3)+2*b^(1/3)*((d*x+c)*(a*d+b*(2*d*x+c)))^(1/3))/(2*b^(1/3)*((d*x+c)*(a*d+b*
(2*d*x+c)))^(1/3)+(-a*d+b*c)^(2/3)*(1+3^(1/2)))^2)^(1/2)+3^(1/4)*d^2*((d*x+c)*(2*b*d*x+a*d+b*c))^(1/3)*((-a*d+
b*c)^(2/3)+2*b^(1/3)*((d*x+c)*(a*d+b*(2*d*x+c)))^(1/3))*EllipticE((2*b^(1/3)*((d*x+c)*(a*d+b*(2*d*x+c)))^(1/3)
+(-a*d+b*c)^(2/3)*(1-3^(1/2)))/(2*b^(1/3)*((d*x+c)*(a*d+b*(2*d*x+c)))^(1/3)+(-a*d+b*c)^(2/3)*(1+3^(1/2))),I*3^
(1/2)+2*I)*((d*(a*d+3*b*c)+4*b*d^2*x)^2)^(1/2)*(1/2*6^(1/2)-1/2*2^(1/2))*(((-a*d+b*c)^(4/3)-2*b^(1/3)*(-a*d+b*
c)^(2/3)*((d*x+c)*(a*d+b*(2*d*x+c)))^(1/3)+4*b^(2/3)*((d*x+c)*(a*d+b*(2*d*x+c)))^(2/3))/(2*b^(1/3)*((d*x+c)*(a
*d+b*(2*d*x+c)))^(1/3)+(-a*d+b*c)^(2/3)*(1+3^(1/2)))^2)^(1/2)/b^(2/3)/(-a*d+b*c)^(7/3)/(d*x+c)^(1/3)/(2*b*d*x+
a*d+b*c)^(1/3)/(4*b*d*x+a*d+3*b*c)/(d^2*(4*b*d*x+a*d+3*b*c)^2)^(1/2)/((-a*d+b*c)^(2/3)*((-a*d+b*c)^(2/3)+2*b^(
1/3)*((d*x+c)*(a*d+b*(2*d*x+c)))^(1/3))/(2*b^(1/3)*((d*x+c)*(a*d+b*(2*d*x+c)))^(1/3)+(-a*d+b*c)^(2/3)*(1+3^(1/
2)))^2)^(1/2)

________________________________________________________________________________________

Rubi [A]  time = 2.60, antiderivative size = 1558, normalized size of antiderivative = 1.00, number of steps used = 9, number of rules used = 9, integrand size = 33, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.273, Rules used = {124, 151, 157, 62, 623, 303, 218, 1877, 123} \[ -\frac {2 \tan ^{-1}\left (\frac {2 b^{2/3} (c+d x)^{2/3}}{\sqrt {3} \sqrt [3]{b c-a d} \sqrt [3]{b c+a d+2 b d x}}+\frac {1}{\sqrt {3}}\right ) d^2}{\sqrt {3} b^{2/3} (b c-a d)^{8/3}}+\frac {\sqrt [4]{3} \sqrt {2-\sqrt {3}} \sqrt [3]{(c+d x) (b c+a d+2 b d x)} \sqrt {\left (4 b x d^2+(3 b c+a d) d\right )^2} \left ((b c-a d)^{2/3}+2 \sqrt [3]{b} \sqrt [3]{(c+d x) (a d+b (c+2 d x))}\right ) \sqrt {\frac {(b c-a d)^{4/3}-2 \sqrt [3]{b} \sqrt [3]{(c+d x) (a d+b (c+2 d x))} (b c-a d)^{2/3}+4 b^{2/3} ((c+d x) (a d+b (c+2 d x)))^{2/3}}{\left (\left (1+\sqrt {3}\right ) (b c-a d)^{2/3}+2 \sqrt [3]{b} \sqrt [3]{(c+d x) (a d+b (c+2 d x))}\right )^2}} E\left (\sin ^{-1}\left (\frac {\left (1-\sqrt {3}\right ) (b c-a d)^{2/3}+2 \sqrt [3]{b} \sqrt [3]{(c+d x) (a d+b (c+2 d x))}}{\left (1+\sqrt {3}\right ) (b c-a d)^{2/3}+2 \sqrt [3]{b} \sqrt [3]{(c+d x) (a d+b (c+2 d x))}}\right )|-7-4 \sqrt {3}\right ) d^2}{b^{2/3} (b c-a d)^{7/3} \sqrt [3]{c+d x} \sqrt [3]{b c+a d+2 b d x} (3 b c+a d+4 b d x) \sqrt {d^2 (3 b c+a d+4 b d x)^2} \sqrt {\frac {(b c-a d)^{2/3} \left ((b c-a d)^{2/3}+2 \sqrt [3]{b} \sqrt [3]{(c+d x) (a d+b (c+2 d x))}\right )}{\left (\left (1+\sqrt {3}\right ) (b c-a d)^{2/3}+2 \sqrt [3]{b} \sqrt [3]{(c+d x) (a d+b (c+2 d x))}\right )^2}}}-\frac {2 \sqrt {2} \sqrt [3]{(c+d x) (b c+a d+2 b d x)} \sqrt {\left (4 b x d^2+(3 b c+a d) d\right )^2} \left ((b c-a d)^{2/3}+2 \sqrt [3]{b} \sqrt [3]{(c+d x) (a d+b (c+2 d x))}\right ) \sqrt {\frac {(b c-a d)^{4/3}-2 \sqrt [3]{b} \sqrt [3]{(c+d x) (a d+b (c+2 d x))} (b c-a d)^{2/3}+4 b^{2/3} ((c+d x) (a d+b (c+2 d x)))^{2/3}}{\left (\left (1+\sqrt {3}\right ) (b c-a d)^{2/3}+2 \sqrt [3]{b} \sqrt [3]{(c+d x) (a d+b (c+2 d x))}\right )^2}} F\left (\sin ^{-1}\left (\frac {\left (1-\sqrt {3}\right ) (b c-a d)^{2/3}+2 \sqrt [3]{b} \sqrt [3]{(c+d x) (a d+b (c+2 d x))}}{\left (1+\sqrt {3}\right ) (b c-a d)^{2/3}+2 \sqrt [3]{b} \sqrt [3]{(c+d x) (a d+b (c+2 d x))}}\right )|-7-4 \sqrt {3}\right ) d^2}{\sqrt [4]{3} b^{2/3} (b c-a d)^{7/3} \sqrt [3]{c+d x} \sqrt [3]{b c+a d+2 b d x} (3 b c+a d+4 b d x) \sqrt {d^2 (3 b c+a d+4 b d x)^2} \sqrt {\frac {(b c-a d)^{2/3} \left ((b c-a d)^{2/3}+2 \sqrt [3]{b} \sqrt [3]{(c+d x) (a d+b (c+2 d x))}\right )}{\left (\left (1+\sqrt {3}\right ) (b c-a d)^{2/3}+2 \sqrt [3]{b} \sqrt [3]{(c+d x) (a d+b (c+2 d x))}\right )^2}}}-\frac {2 \log (a+b x) d^2}{3 b^{2/3} (b c-a d)^{8/3}}+\frac {\log \left (\frac {b^{2/3} (c+d x)^{2/3}}{\sqrt [3]{b c-a d}}-\sqrt [3]{b c+a d+2 b d x}\right ) d^2}{b^{2/3} (b c-a d)^{8/3}}+\frac {2 (c+d x)^{2/3} (b c+a d+2 b d x)^{2/3} d}{(b c-a d)^3 (a+b x)}-\frac {(c+d x)^{2/3} (b c+a d+2 b d x)^{2/3}}{2 (b c-a d)^2 (a+b x)^2}-\frac {2 \sqrt [3]{(c+d x) (b c+a d+2 b d x)} \sqrt {d^2 (3 b c+a d+4 b d x)^2} \sqrt {\left (4 b x d^2+(3 b c+a d) d\right )^2}}{b^{2/3} (b c-a d)^3 \sqrt [3]{c+d x} \sqrt [3]{b c+a d+2 b d x} (3 b c+a d+4 b d x) \left (\left (1+\sqrt {3}\right ) (b c-a d)^{2/3}+2 \sqrt [3]{b} \sqrt [3]{(c+d x) (a d+b (c+2 d x))}\right )} \]

Antiderivative was successfully verified.

[In]

Int[1/((a + b*x)^3*(c + d*x)^(1/3)*(b*c + a*d + 2*b*d*x)^(1/3)),x]

[Out]

-((c + d*x)^(2/3)*(b*c + a*d + 2*b*d*x)^(2/3))/(2*(b*c - a*d)^2*(a + b*x)^2) + (2*d*(c + d*x)^(2/3)*(b*c + a*d
+ 2*b*d*x)^(2/3))/((b*c - a*d)^3*(a + b*x)) - (2*((c + d*x)*(b*c + a*d + 2*b*d*x))^(1/3)*Sqrt[d^2*(3*b*c + a*
d + 4*b*d*x)^2]*Sqrt[(d*(3*b*c + a*d) + 4*b*d^2*x)^2])/(b^(2/3)*(b*c - a*d)^3*(c + d*x)^(1/3)*(b*c + a*d + 2*b
*d*x)^(1/3)*(3*b*c + a*d + 4*b*d*x)*((1 + Sqrt[3])*(b*c - a*d)^(2/3) + 2*b^(1/3)*((c + d*x)*(a*d + b*(c + 2*d*
x)))^(1/3))) - (2*d^2*ArcTan[1/Sqrt[3] + (2*b^(2/3)*(c + d*x)^(2/3))/(Sqrt[3]*(b*c - a*d)^(1/3)*(b*c + a*d + 2
*b*d*x)^(1/3))])/(Sqrt[3]*b^(2/3)*(b*c - a*d)^(8/3)) + (3^(1/4)*Sqrt[2 - Sqrt[3]]*d^2*((c + d*x)*(b*c + a*d +
2*b*d*x))^(1/3)*Sqrt[(d*(3*b*c + a*d) + 4*b*d^2*x)^2]*((b*c - a*d)^(2/3) + 2*b^(1/3)*((c + d*x)*(a*d + b*(c +
2*d*x)))^(1/3))*Sqrt[((b*c - a*d)^(4/3) - 2*b^(1/3)*(b*c - a*d)^(2/3)*((c + d*x)*(a*d + b*(c + 2*d*x)))^(1/3)
+ 4*b^(2/3)*((c + d*x)*(a*d + b*(c + 2*d*x)))^(2/3))/((1 + Sqrt[3])*(b*c - a*d)^(2/3) + 2*b^(1/3)*((c + d*x)*(
a*d + b*(c + 2*d*x)))^(1/3))^2]*EllipticE[ArcSin[((1 - Sqrt[3])*(b*c - a*d)^(2/3) + 2*b^(1/3)*((c + d*x)*(a*d
+ b*(c + 2*d*x)))^(1/3))/((1 + Sqrt[3])*(b*c - a*d)^(2/3) + 2*b^(1/3)*((c + d*x)*(a*d + b*(c + 2*d*x)))^(1/3))
], -7 - 4*Sqrt[3]])/(b^(2/3)*(b*c - a*d)^(7/3)*(c + d*x)^(1/3)*(b*c + a*d + 2*b*d*x)^(1/3)*(3*b*c + a*d + 4*b*
d*x)*Sqrt[d^2*(3*b*c + a*d + 4*b*d*x)^2]*Sqrt[((b*c - a*d)^(2/3)*((b*c - a*d)^(2/3) + 2*b^(1/3)*((c + d*x)*(a*
d + b*(c + 2*d*x)))^(1/3)))/((1 + Sqrt[3])*(b*c - a*d)^(2/3) + 2*b^(1/3)*((c + d*x)*(a*d + b*(c + 2*d*x)))^(1/
3))^2]) - (2*Sqrt[2]*d^2*((c + d*x)*(b*c + a*d + 2*b*d*x))^(1/3)*Sqrt[(d*(3*b*c + a*d) + 4*b*d^2*x)^2]*((b*c -
a*d)^(2/3) + 2*b^(1/3)*((c + d*x)*(a*d + b*(c + 2*d*x)))^(1/3))*Sqrt[((b*c - a*d)^(4/3) - 2*b^(1/3)*(b*c - a*
d)^(2/3)*((c + d*x)*(a*d + b*(c + 2*d*x)))^(1/3) + 4*b^(2/3)*((c + d*x)*(a*d + b*(c + 2*d*x)))^(2/3))/((1 + Sq
rt[3])*(b*c - a*d)^(2/3) + 2*b^(1/3)*((c + d*x)*(a*d + b*(c + 2*d*x)))^(1/3))^2]*EllipticF[ArcSin[((1 - Sqrt[3
])*(b*c - a*d)^(2/3) + 2*b^(1/3)*((c + d*x)*(a*d + b*(c + 2*d*x)))^(1/3))/((1 + Sqrt[3])*(b*c - a*d)^(2/3) + 2
*b^(1/3)*((c + d*x)*(a*d + b*(c + 2*d*x)))^(1/3))], -7 - 4*Sqrt[3]])/(3^(1/4)*b^(2/3)*(b*c - a*d)^(7/3)*(c + d
*x)^(1/3)*(b*c + a*d + 2*b*d*x)^(1/3)*(3*b*c + a*d + 4*b*d*x)*Sqrt[d^2*(3*b*c + a*d + 4*b*d*x)^2]*Sqrt[((b*c -
a*d)^(2/3)*((b*c - a*d)^(2/3) + 2*b^(1/3)*((c + d*x)*(a*d + b*(c + 2*d*x)))^(1/3)))/((1 + Sqrt[3])*(b*c - a*d
)^(2/3) + 2*b^(1/3)*((c + d*x)*(a*d + b*(c + 2*d*x)))^(1/3))^2]) - (2*d^2*Log[a + b*x])/(3*b^(2/3)*(b*c - a*d)
^(8/3)) + (d^2*Log[(b^(2/3)*(c + d*x)^(2/3))/(b*c - a*d)^(1/3) - (b*c + a*d + 2*b*d*x)^(1/3)])/(b^(2/3)*(b*c -
a*d)^(8/3))

Rule 62

Int[((a_.) + (b_.)*(x_))^(m_)*((c_) + (d_.)*(x_))^(m_), x_Symbol] :> Dist[((a + b*x)^m*(c + d*x)^m)/((a + b*x)
*(c + d*x))^m, Int[(a*c + (b*c + a*d)*x + b*d*x^2)^m, x], x] /; FreeQ[{a, b, c, d}, x] && NeQ[b*c - a*d, 0] &&
LtQ[-1, m, 0] && LeQ[3, Denominator[m], 4]

Rule 123

Int[1/(((a_.) + (b_.)*(x_))*((c_.) + (d_.)*(x_))^(1/3)*((e_.) + (f_.)*(x_))^(1/3)), x_Symbol] :> With[{q = Rt[
(b*(b*e - a*f))/(b*c - a*d)^2, 3]}, -Simp[Log[a + b*x]/(2*q*(b*c - a*d)), x] + (-Simp[(Sqrt[3]*ArcTan[1/Sqrt[3
] + (2*q*(c + d*x)^(2/3))/(Sqrt[3]*(e + f*x)^(1/3))])/(2*q*(b*c - a*d)), x] + Simp[(3*Log[q*(c + d*x)^(2/3) -
(e + f*x)^(1/3)])/(4*q*(b*c - a*d)), x])] /; FreeQ[{a, b, c, d, e, f}, x] && EqQ[2*b*d*e - b*c*f - a*d*f, 0]

Rule 124

Int[((a_.) + (b_.)*(x_))^(m_)/(((c_.) + (d_.)*(x_))^(1/3)*((e_.) + (f_.)*(x_))^(1/3)), x_Symbol] :> Simp[(b*(a
+ b*x)^(m + 1)*(c + d*x)^(2/3)*(e + f*x)^(2/3))/((m + 1)*(b*c - a*d)*(b*e - a*f)), x] + Dist[f/(6*(m + 1)*(b*
c - a*d)*(b*e - a*f)), Int[((a + b*x)^(m + 1)*(a*d*(3*m + 1) - 3*b*c*(3*m + 5) - 2*b*d*(3*m + 7)*x))/((c + d*x
)^(1/3)*(e + f*x)^(1/3)), x], x] /; FreeQ[{a, b, c, d, e, f}, x] && EqQ[2*b*d*e - b*c*f - a*d*f, 0] && ILtQ[m,
-1]

Rule 151

Int[((a_.) + (b_.)*(x_))^(m_)*((c_.) + (d_.)*(x_))^(n_)*((e_.) + (f_.)*(x_))^(p_)*((g_.) + (h_.)*(x_)), x_Symb
ol] :> Simp[((b*g - a*h)*(a + b*x)^(m + 1)*(c + d*x)^(n + 1)*(e + f*x)^(p + 1))/((m + 1)*(b*c - a*d)*(b*e - a*
f)), x] + Dist[1/((m + 1)*(b*c - a*d)*(b*e - a*f)), Int[(a + b*x)^(m + 1)*(c + d*x)^n*(e + f*x)^p*Simp[(a*d*f*
g - b*(d*e + c*f)*g + b*c*e*h)*(m + 1) - (b*g - a*h)*(d*e*(n + 1) + c*f*(p + 1)) - d*f*(b*g - a*h)*(m + n + p
+ 3)*x, x], x], x] /; FreeQ[{a, b, c, d, e, f, g, h, n, p}, x] && LtQ[m, -1] && IntegerQ[m]

Rule 157

Int[(((c_.) + (d_.)*(x_))^(n_)*((e_.) + (f_.)*(x_))^(p_)*((g_.) + (h_.)*(x_)))/((a_.) + (b_.)*(x_)), x_Symbol]
:> Dist[h/b, Int[(c + d*x)^n*(e + f*x)^p, x], x] + Dist[(b*g - a*h)/b, Int[((c + d*x)^n*(e + f*x)^p)/(a + b*x
), x], x] /; FreeQ[{a, b, c, d, e, f, g, h, n, p}, x]

Rule 218

Int[1/Sqrt[(a_) + (b_.)*(x_)^3], x_Symbol] :> With[{r = Numer[Rt[b/a, 3]], s = Denom[Rt[b/a, 3]]}, Simp[(2*Sqr
t[2 + Sqrt[3]]*(s + r*x)*Sqrt[(s^2 - r*s*x + r^2*x^2)/((1 + Sqrt[3])*s + r*x)^2]*EllipticF[ArcSin[((1 - Sqrt[3
])*s + r*x)/((1 + Sqrt[3])*s + r*x)], -7 - 4*Sqrt[3]])/(3^(1/4)*r*Sqrt[a + b*x^3]*Sqrt[(s*(s + r*x))/((1 + Sqr
t[3])*s + r*x)^2]), x]] /; FreeQ[{a, b}, x] && PosQ[a]

Rule 303

Int[(x_)/Sqrt[(a_) + (b_.)*(x_)^3], x_Symbol] :> With[{r = Numer[Rt[b/a, 3]], s = Denom[Rt[b/a, 3]]}, Dist[(Sq
rt[2]*s)/(Sqrt[2 + Sqrt[3]]*r), Int[1/Sqrt[a + b*x^3], x], x] + Dist[1/r, Int[((1 - Sqrt[3])*s + r*x)/Sqrt[a +
b*x^3], x], x]] /; FreeQ[{a, b}, x] && PosQ[a]

Rule 623

Int[((a_.) + (b_.)*(x_) + (c_.)*(x_)^2)^(p_), x_Symbol] :> With[{d = Denominator[p]}, Dist[(d*Sqrt[(b + 2*c*x)
^2])/(b + 2*c*x), Subst[Int[x^(d*(p + 1) - 1)/Sqrt[b^2 - 4*a*c + 4*c*x^d], x], x, (a + b*x + c*x^2)^(1/d)], x]
/; 3 <= d <= 4] /; FreeQ[{a, b, c}, x] && NeQ[b^2 - 4*a*c, 0] && RationalQ[p]

Rule 1877

Int[((c_) + (d_.)*(x_))/Sqrt[(a_) + (b_.)*(x_)^3], x_Symbol] :> With[{r = Numer[Simplify[((1 - Sqrt[3])*d)/c]]
, s = Denom[Simplify[((1 - Sqrt[3])*d)/c]]}, Simp[(2*d*s^3*Sqrt[a + b*x^3])/(a*r^2*((1 + Sqrt[3])*s + r*x)), x
] - Simp[(3^(1/4)*Sqrt[2 - Sqrt[3]]*d*s*(s + r*x)*Sqrt[(s^2 - r*s*x + r^2*x^2)/((1 + Sqrt[3])*s + r*x)^2]*Elli
pticE[ArcSin[((1 - Sqrt[3])*s + r*x)/((1 + Sqrt[3])*s + r*x)], -7 - 4*Sqrt[3]])/(r^2*Sqrt[a + b*x^3]*Sqrt[(s*(
s + r*x))/((1 + Sqrt[3])*s + r*x)^2]), x]] /; FreeQ[{a, b, c, d}, x] && PosQ[a] && EqQ[b*c^3 - 2*(5 - 3*Sqrt[3
])*a*d^3, 0]

Rubi steps

\begin {align*} \int \frac {1}{(a+b x)^3 \sqrt [3]{c+d x} \sqrt [3]{b c+a d+2 b d x}} \, dx &=-\frac {(c+d x)^{2/3} (b c+a d+2 b d x)^{2/3}}{2 (b c-a d)^2 (a+b x)^2}-\frac {d \int \frac {12 b c-8 a d+4 b d x}{(a+b x)^2 \sqrt [3]{c+d x} \sqrt [3]{b c+a d+2 b d x}} \, dx}{6 (b c-a d)^2}\\ &=-\frac {(c+d x)^{2/3} (b c+a d+2 b d x)^{2/3}}{2 (b c-a d)^2 (a+b x)^2}+\frac {2 d (c+d x)^{2/3} (b c+a d+2 b d x)^{2/3}}{(b c-a d)^3 (a+b x)}+\frac {d \int \frac {8 b d (b c-2 a d) (b c-a d)-8 b^2 d^2 (b c-a d) x}{(a+b x) \sqrt [3]{c+d x} \sqrt [3]{b c+a d+2 b d x}} \, dx}{6 b (b c-a d)^4}\\ &=-\frac {(c+d x)^{2/3} (b c+a d+2 b d x)^{2/3}}{2 (b c-a d)^2 (a+b x)^2}+\frac {2 d (c+d x)^{2/3} (b c+a d+2 b d x)^{2/3}}{(b c-a d)^3 (a+b x)}-\frac {\left (4 d^3\right ) \int \frac {1}{\sqrt [3]{c+d x} \sqrt [3]{b c+a d+2 b d x}} \, dx}{3 (b c-a d)^3}+\frac {\left (4 d^2\right ) \int \frac {1}{(a+b x) \sqrt [3]{c+d x} \sqrt [3]{b c+a d+2 b d x}} \, dx}{3 (b c-a d)^2}\\ &=-\frac {(c+d x)^{2/3} (b c+a d+2 b d x)^{2/3}}{2 (b c-a d)^2 (a+b x)^2}+\frac {2 d (c+d x)^{2/3} (b c+a d+2 b d x)^{2/3}}{(b c-a d)^3 (a+b x)}-\frac {2 d^2 \tan ^{-1}\left (\frac {1}{\sqrt {3}}+\frac {2 b^{2/3} (c+d x)^{2/3}}{\sqrt {3} \sqrt [3]{b c-a d} \sqrt [3]{b c+a d+2 b d x}}\right )}{\sqrt {3} b^{2/3} (b c-a d)^{8/3}}-\frac {2 d^2 \log (a+b x)}{3 b^{2/3} (b c-a d)^{8/3}}+\frac {d^2 \log \left (\frac {b^{2/3} (c+d x)^{2/3}}{\sqrt [3]{b c-a d}}-\sqrt [3]{b c+a d+2 b d x}\right )}{b^{2/3} (b c-a d)^{8/3}}-\frac {\left (4 d^3 \sqrt [3]{(c+d x) (b c+a d+2 b d x)}\right ) \int \frac {1}{\sqrt [3]{c (b c+a d)+(2 b c d+d (b c+a d)) x+2 b d^2 x^2}} \, dx}{3 (b c-a d)^3 \sqrt [3]{c+d x} \sqrt [3]{b c+a d+2 b d x}}\\ &=-\frac {(c+d x)^{2/3} (b c+a d+2 b d x)^{2/3}}{2 (b c-a d)^2 (a+b x)^2}+\frac {2 d (c+d x)^{2/3} (b c+a d+2 b d x)^{2/3}}{(b c-a d)^3 (a+b x)}-\frac {2 d^2 \tan ^{-1}\left (\frac {1}{\sqrt {3}}+\frac {2 b^{2/3} (c+d x)^{2/3}}{\sqrt {3} \sqrt [3]{b c-a d} \sqrt [3]{b c+a d+2 b d x}}\right )}{\sqrt {3} b^{2/3} (b c-a d)^{8/3}}-\frac {2 d^2 \log (a+b x)}{3 b^{2/3} (b c-a d)^{8/3}}+\frac {d^2 \log \left (\frac {b^{2/3} (c+d x)^{2/3}}{\sqrt [3]{b c-a d}}-\sqrt [3]{b c+a d+2 b d x}\right )}{b^{2/3} (b c-a d)^{8/3}}-\frac {\left (4 d^3 \sqrt [3]{(c+d x) (b c+a d+2 b d x)} \sqrt {\left (2 b c d+d (b c+a d)+4 b d^2 x\right )^2}\right ) \operatorname {Subst}\left (\int \frac {x}{\sqrt {-8 b c d^2 (b c+a d)+(2 b c d+d (b c+a d))^2+8 b d^2 x^3}} \, dx,x,\sqrt [3]{(c+d x) (a d+b (c+2 d x))}\right )}{(b c-a d)^3 \sqrt [3]{c+d x} \sqrt [3]{b c+a d+2 b d x} \left (2 b c d+d (b c+a d)+4 b d^2 x\right )}\\ &=-\frac {(c+d x)^{2/3} (b c+a d+2 b d x)^{2/3}}{2 (b c-a d)^2 (a+b x)^2}+\frac {2 d (c+d x)^{2/3} (b c+a d+2 b d x)^{2/3}}{(b c-a d)^3 (a+b x)}-\frac {2 d^2 \tan ^{-1}\left (\frac {1}{\sqrt {3}}+\frac {2 b^{2/3} (c+d x)^{2/3}}{\sqrt {3} \sqrt [3]{b c-a d} \sqrt [3]{b c+a d+2 b d x}}\right )}{\sqrt {3} b^{2/3} (b c-a d)^{8/3}}-\frac {2 d^2 \log (a+b x)}{3 b^{2/3} (b c-a d)^{8/3}}+\frac {d^2 \log \left (\frac {b^{2/3} (c+d x)^{2/3}}{\sqrt [3]{b c-a d}}-\sqrt [3]{b c+a d+2 b d x}\right )}{b^{2/3} (b c-a d)^{8/3}}-\frac {\left (2 d^3 \sqrt [3]{(c+d x) (b c+a d+2 b d x)} \sqrt {\left (2 b c d+d (b c+a d)+4 b d^2 x\right )^2}\right ) \operatorname {Subst}\left (\int \frac {\left (1-\sqrt {3}\right ) (b c-a d)^{2/3}+2 \sqrt [3]{b} x}{\sqrt {-8 b c d^2 (b c+a d)+(2 b c d+d (b c+a d))^2+8 b d^2 x^3}} \, dx,x,\sqrt [3]{(c+d x) (a d+b (c+2 d x))}\right )}{\sqrt [3]{b} (b c-a d)^3 \sqrt [3]{c+d x} \sqrt [3]{b c+a d+2 b d x} \left (2 b c d+d (b c+a d)+4 b d^2 x\right )}-\frac {\left (2 \sqrt {\frac {2}{2+\sqrt {3}}} d^3 \sqrt [3]{(c+d x) (b c+a d+2 b d x)} \sqrt {\left (2 b c d+d (b c+a d)+4 b d^2 x\right )^2}\right ) \operatorname {Subst}\left (\int \frac {1}{\sqrt {-8 b c d^2 (b c+a d)+(2 b c d+d (b c+a d))^2+8 b d^2 x^3}} \, dx,x,\sqrt [3]{(c+d x) (a d+b (c+2 d x))}\right )}{\sqrt [3]{b} (b c-a d)^{7/3} \sqrt [3]{c+d x} \sqrt [3]{b c+a d+2 b d x} \left (2 b c d+d (b c+a d)+4 b d^2 x\right )}\\ &=-\frac {(c+d x)^{2/3} (b c+a d+2 b d x)^{2/3}}{2 (b c-a d)^2 (a+b x)^2}+\frac {2 d (c+d x)^{2/3} (b c+a d+2 b d x)^{2/3}}{(b c-a d)^3 (a+b x)}-\frac {2 \sqrt [3]{(c+d x) (b c+a d+2 b d x)} \sqrt {d^2 (3 b c+a d+4 b d x)^2} \sqrt {\left (d (3 b c+a d)+4 b d^2 x\right )^2}}{b^{2/3} (b c-a d)^3 \sqrt [3]{c+d x} \sqrt [3]{b c+a d+2 b d x} (3 b c+a d+4 b d x) \left (\left (1+\sqrt {3}\right ) (b c-a d)^{2/3}+2 \sqrt [3]{b} \sqrt [3]{(c+d x) (a d+b (c+2 d x))}\right )}-\frac {2 d^2 \tan ^{-1}\left (\frac {1}{\sqrt {3}}+\frac {2 b^{2/3} (c+d x)^{2/3}}{\sqrt {3} \sqrt [3]{b c-a d} \sqrt [3]{b c+a d+2 b d x}}\right )}{\sqrt {3} b^{2/3} (b c-a d)^{8/3}}+\frac {\sqrt [4]{3} \sqrt {2-\sqrt {3}} d^2 \sqrt [3]{(c+d x) (b c+a d+2 b d x)} \sqrt {\left (d (3 b c+a d)+4 b d^2 x\right )^2} \left ((b c-a d)^{2/3}+2 \sqrt [3]{b} \sqrt [3]{(c+d x) (a d+b (c+2 d x))}\right ) \sqrt {\frac {(b c-a d)^{4/3}-2 \sqrt [3]{b} (b c-a d)^{2/3} \sqrt [3]{(c+d x) (a d+b (c+2 d x))}+4 b^{2/3} ((c+d x) (a d+b (c+2 d x)))^{2/3}}{\left (\left (1+\sqrt {3}\right ) (b c-a d)^{2/3}+2 \sqrt [3]{b} \sqrt [3]{(c+d x) (a d+b (c+2 d x))}\right )^2}} E\left (\sin ^{-1}\left (\frac {\left (1-\sqrt {3}\right ) (b c-a d)^{2/3}+2 \sqrt [3]{b} \sqrt [3]{(c+d x) (a d+b (c+2 d x))}}{\left (1+\sqrt {3}\right ) (b c-a d)^{2/3}+2 \sqrt [3]{b} \sqrt [3]{(c+d x) (a d+b (c+2 d x))}}\right )|-7-4 \sqrt {3}\right )}{b^{2/3} (b c-a d)^{7/3} \sqrt [3]{c+d x} \sqrt [3]{b c+a d+2 b d x} (3 b c+a d+4 b d x) \sqrt {d^2 (3 b c+a d+4 b d x)^2} \sqrt {\frac {(b c-a d)^{2/3} \left ((b c-a d)^{2/3}+2 \sqrt [3]{b} \sqrt [3]{(c+d x) (a d+b (c+2 d x))}\right )}{\left (\left (1+\sqrt {3}\right ) (b c-a d)^{2/3}+2 \sqrt [3]{b} \sqrt [3]{(c+d x) (a d+b (c+2 d x))}\right )^2}}}-\frac {2 \sqrt {2} d^2 \sqrt [3]{(c+d x) (b c+a d+2 b d x)} \sqrt {\left (d (3 b c+a d)+4 b d^2 x\right )^2} \left ((b c-a d)^{2/3}+2 \sqrt [3]{b} \sqrt [3]{(c+d x) (a d+b (c+2 d x))}\right ) \sqrt {\frac {(b c-a d)^{4/3}-2 \sqrt [3]{b} (b c-a d)^{2/3} \sqrt [3]{(c+d x) (a d+b (c+2 d x))}+4 b^{2/3} ((c+d x) (a d+b (c+2 d x)))^{2/3}}{\left (\left (1+\sqrt {3}\right ) (b c-a d)^{2/3}+2 \sqrt [3]{b} \sqrt [3]{(c+d x) (a d+b (c+2 d x))}\right )^2}} F\left (\sin ^{-1}\left (\frac {\left (1-\sqrt {3}\right ) (b c-a d)^{2/3}+2 \sqrt [3]{b} \sqrt [3]{(c+d x) (a d+b (c+2 d x))}}{\left (1+\sqrt {3}\right ) (b c-a d)^{2/3}+2 \sqrt [3]{b} \sqrt [3]{(c+d x) (a d+b (c+2 d x))}}\right )|-7-4 \sqrt {3}\right )}{\sqrt [4]{3} b^{2/3} (b c-a d)^{7/3} \sqrt [3]{c+d x} \sqrt [3]{b c+a d+2 b d x} (3 b c+a d+4 b d x) \sqrt {d^2 (3 b c+a d+4 b d x)^2} \sqrt {\frac {(b c-a d)^{2/3} \left ((b c-a d)^{2/3}+2 \sqrt [3]{b} \sqrt [3]{(c+d x) (a d+b (c+2 d x))}\right )}{\left (\left (1+\sqrt {3}\right ) (b c-a d)^{2/3}+2 \sqrt [3]{b} \sqrt [3]{(c+d x) (a d+b (c+2 d x))}\right )^2}}}-\frac {2 d^2 \log (a+b x)}{3 b^{2/3} (b c-a d)^{8/3}}+\frac {d^2 \log \left (\frac {b^{2/3} (c+d x)^{2/3}}{\sqrt [3]{b c-a d}}-\sqrt [3]{b c+a d+2 b d x}\right )}{b^{2/3} (b c-a d)^{8/3}}\\ \end {align*}

________________________________________________________________________________________

Mathematica [C]  time = 1.14, size = 305, normalized size = 0.20 \[ \frac {(c+d x)^{2/3} \left (\frac {5 (5 a d-b c+4 b d x) (a d+b (c+2 d x))}{(a+b x)^2}-\frac {d^2 \left (-2\ 2^{2/3} (b c-a d)^2 \sqrt [3]{\frac {a d+b c+2 b d x}{b c+b d x}} F_1\left (\frac {5}{3};\frac {1}{3},1;\frac {8}{3};\frac {b c-a d}{2 b c+2 b d x},\frac {b c-a d}{b c+b d x}\right )+15\ 2^{2/3} b (c+d x) (b c-a d) \sqrt [3]{\frac {a d+b c+2 b d x}{b c+b d x}} F_1\left (\frac {2}{3};\frac {1}{3},1;\frac {5}{3};\frac {b c-a d}{2 b c+2 b d x},\frac {b c-a d}{b c+b d x}\right )+20 b (c+d x) (a d+b (c+2 d x))\right )}{b^2 (c+d x)^2}\right )}{10 (b c-a d)^3 \sqrt [3]{a d+b (c+2 d x)}} \]

Warning: Unable to verify antiderivative.

[In]

Integrate[1/((a + b*x)^3*(c + d*x)^(1/3)*(b*c + a*d + 2*b*d*x)^(1/3)),x]

[Out]

((c + d*x)^(2/3)*((5*(-(b*c) + 5*a*d + 4*b*d*x)*(a*d + b*(c + 2*d*x)))/(a + b*x)^2 - (d^2*(20*b*(c + d*x)*(a*d
+ b*(c + 2*d*x)) + 15*2^(2/3)*b*(b*c - a*d)*(c + d*x)*((b*c + a*d + 2*b*d*x)/(b*c + b*d*x))^(1/3)*AppellF1[2/
3, 1/3, 1, 5/3, (b*c - a*d)/(2*b*c + 2*b*d*x), (b*c - a*d)/(b*c + b*d*x)] - 2*2^(2/3)*(b*c - a*d)^2*((b*c + a*
d + 2*b*d*x)/(b*c + b*d*x))^(1/3)*AppellF1[5/3, 1/3, 1, 8/3, (b*c - a*d)/(2*b*c + 2*b*d*x), (b*c - a*d)/(b*c +
b*d*x)]))/(b^2*(c + d*x)^2)))/(10*(b*c - a*d)^3*(a*d + b*(c + 2*d*x))^(1/3))

________________________________________________________________________________________

fricas [F(-1)]  time = 0.00, size = 0, normalized size = 0.00 \[ \text {Timed out} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(1/(b*x+a)^3/(d*x+c)^(1/3)/(2*b*d*x+a*d+b*c)^(1/3),x, algorithm="fricas")

[Out]

Timed out

________________________________________________________________________________________

giac [F]  time = 0.00, size = 0, normalized size = 0.00 \[ \int \frac {1}{{\left (2 \, b d x + b c + a d\right )}^{\frac {1}{3}} {\left (b x + a\right )}^{3} {\left (d x + c\right )}^{\frac {1}{3}}}\,{d x} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(1/(b*x+a)^3/(d*x+c)^(1/3)/(2*b*d*x+a*d+b*c)^(1/3),x, algorithm="giac")

[Out]

integrate(1/((2*b*d*x + b*c + a*d)^(1/3)*(b*x + a)^3*(d*x + c)^(1/3)), x)

________________________________________________________________________________________

maple [F]  time = 0.24, size = 0, normalized size = 0.00 \[ \int \frac {1}{\left (b x +a \right )^{3} \left (d x +c \right )^{\frac {1}{3}} \left (2 b d x +a d +b c \right )^{\frac {1}{3}}}\, dx \]

Verification of antiderivative is not currently implemented for this CAS.

[In]

int(1/(b*x+a)^3/(d*x+c)^(1/3)/(2*b*d*x+a*d+b*c)^(1/3),x)

[Out]

int(1/(b*x+a)^3/(d*x+c)^(1/3)/(2*b*d*x+a*d+b*c)^(1/3),x)

________________________________________________________________________________________

maxima [F]  time = 0.00, size = 0, normalized size = 0.00 \[ \int \frac {1}{{\left (2 \, b d x + b c + a d\right )}^{\frac {1}{3}} {\left (b x + a\right )}^{3} {\left (d x + c\right )}^{\frac {1}{3}}}\,{d x} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(1/(b*x+a)^3/(d*x+c)^(1/3)/(2*b*d*x+a*d+b*c)^(1/3),x, algorithm="maxima")

[Out]

integrate(1/((2*b*d*x + b*c + a*d)^(1/3)*(b*x + a)^3*(d*x + c)^(1/3)), x)

________________________________________________________________________________________

mupad [F]  time = 0.00, size = -1, normalized size = -0.00 \[ \int \frac {1}{{\left (a+b\,x\right )}^3\,{\left (c+d\,x\right )}^{1/3}\,{\left (a\,d+b\,c+2\,b\,d\,x\right )}^{1/3}} \,d x \]

Verification of antiderivative is not currently implemented for this CAS.

[In]

int(1/((a + b*x)^3*(c + d*x)^(1/3)*(a*d + b*c + 2*b*d*x)^(1/3)),x)

[Out]

int(1/((a + b*x)^3*(c + d*x)^(1/3)*(a*d + b*c + 2*b*d*x)^(1/3)), x)

________________________________________________________________________________________

sympy [F(-1)]  time = 0.00, size = 0, normalized size = 0.00 \[ \text {Timed out} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(1/(b*x+a)**3/(d*x+c)**(1/3)/(2*b*d*x+a*d+b*c)**(1/3),x)

[Out]

Timed out

________________________________________________________________________________________